Section: New Software and Platforms

Easycrypt

Keywords: Proof assistant - Cryptography

Functional Description: EasyCrypt is a toolset for reasoning about relational properties of probabilistic computations with adversarial code. Its main application is the construction and verification of game-based cryptographic proofs. EasyCrypt can also be used for reasoning about differential privacy.

• Participants: Benjamin Grégoire, Gilles Barthe and Pierre-Yves Strub

• Contact: Gilles Barthe

• URL: https://www.easycrypt.info/trac/